Boucheneb, Hanifa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Introduction to special issue on verification and evaluation of computer systems

Barkaoui, Kamel, Boucheneb, Hanifa

Journal:

Innovations in Systems and Software Engineering

Year:

2018

Language:

english

File:

PDF, 292 KB

english, 2018

2

Improving state class constructions for CTL* model checking of time Petri nets

Rachid Hadjidj, Hanifa Boucheneb

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 725 KB

english, 2008

3

Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs

Hanifa Boucheneb, Kamel Barkaoui

Journal:

Discrete Event Dynamic Systems

Year:

2011

Language:

english

File:

PDF, 719 KB

english, 2011

4

Multi-tenant intrusion detection system for public cloud (MTIDS)

Hawedi, Mohamed, Talhi, Chamseddine, Boucheneb, Hanifa

Journal:

The Journal of Supercomputing

Year:

2018

Language:

english

File:

PDF, 2.90 MB

english, 2018

5

Security as a Service for Public Cloud Tenants(SaaS)

Hawedi, Mohamed, Talhi, Chamseddine, Boucheneb, Hanifa

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 499 KB

english, 2018

6

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 300 KB

english, 2017

7

[IEEE 2014 IEEE Symposium on Computers and Communication (ISCC) - Funchal, Madeira, Portugal (2014.6.23-2014.6.26)] 2014 IEEE Symposium on Computers and Communications (ISCC) - A formal framework for verifying inter-firewalls consistency

Moussa, Majda, Ould-Slimane, Hakima, Boucheneb, Hanifa, Chamberland, Steven

Year:

2014

Language:

english

File:

PDF, 971 KB

english, 2014

8

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 722 KB

english, 2017

9

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || A Toolset for Mobile Systems Testing

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 1.68 MB

english, 2017

10

Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties

Hanifa Boucheneb

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 281 KB

english, 2008

11

Stubborn Sets for Time Petri Nets

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2015

Language:

english

File:

PDF, 487 KB

english, 2015

12

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - Reachability Analysis of P-time Petri Nets with Parametric Markings

Boucheneb, Hanifa, Barkaoui, Kamel

Year:

2012

Language:

english

File:

PDF, 318 KB

english, 2012

13

Partial order reduction for checking soundness of time workflow nets

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

Information Sciences

Year:

2014

Language:

english

File:

PDF, 555 KB

english, 2014

14

Controller Synthesis of Time Petri Nets Using Stopwatch

Heidari, Parisa, Boucheneb, Hanifa

Journal:

Journal of Engineering

Year:

2013

Language:

english

File:

PDF, 2.22 MB

english, 2013

15

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Uppaal vs Event-B for Modelling Optimised Link State Routing

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 656 KB

english, 2017

16

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 2.31 MB

english, 2017

17

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Strongly Generalized Soundness of Time Workflow Nets

Boucheneb, Hanifa, Barkaoui, Kamel

Year:

2015

Language:

english

File:

PDF, 322 KB

english, 2015

18

[IEEE 2018 International Symposium on Programming and Systems (ISPS) - Algiers, Algeria (2018.4.24-2018.4.26)] 2018 International Symposium on Programming and Systems (ISPS) - Towards privacy and ownership preserving of outsourced health data in IoT-cloud context

Ould-Yahia, Youcef, Bouzefrane, Samia, Boucheneb, Hanifa

Year:

2018

Language:

english

File:

PDF, 382 KB

english, 2018

19

ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS

Yassin, Mohamed, Talhi, Chamseddine, Boucheneb, Hanifa

Journal:

Journal of Information Security and Applications

Year:

2019

Language:

english

File:

PDF, 2.06 MB

english, 2019

20

model checking for time Petri nets

Hanifa Boucheneb, Rachid Hadjidj

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 554 KB

english, 2006

21

On combining the ready sets with the covering steps methods

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 513 KB

english, 2014

22

A security protocol for mobile agents based upon the cooperation of sedentary agents

Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb

Journal:

Journal of Network and Computer Applications

Year:

2007

Language:

english

File:

PDF, 483 KB

english, 2007

23

Towards optimal CTL* model checking of time petri nets

Boucheneb, Hanifa, Hadjidj, Rachid

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.71 MB

english, 2004

24

On-the-fly model checking for time Petri nets

Rachid Hadjidj, Hanifa Boucheneb

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.74 MB

english, 2009

25

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Time Arc Petri Nets and Their Analysis

Rakkay, Hind, Boucheneb, Hanifa, Roux, Olivier H.

Year:

2009

Language:

english

File:

PDF, 632 KB

english, 2009

26

[IEEE 2008 Third International Conference on Risks and Security of Internet and Systems( CRiSIS) - Tozeur, Tunisia (2008.10.28-2008.10.30)] 2008 Third International Conference on Risks and Security of Internet and Systems - Verification of Workflow processes under multilevel security considerations

Barkaoui, Kamel, Ayed, Rahma Ben, Boucheneb, Hanifa, Hicheur, Awatef

Year:

2008

Language:

english

File:

PDF, 271 KB

english, 2008

27

[IEEE 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom) - Vancouver, BC, Canada (2015.11.30-2015.12.3)] 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom) - A Formal Approach for QoS Assurance in the Cloud

Heidari, Parisa, Boucheneb, Hanifa, Shami, Abdallah

Year:

2015

Language:

english

File:

PDF, 192 KB

english, 2015

28

Maximally permissive controller synthesis for time Petri nets

Heidari, Parisa, Boucheneb, Hanifa

Journal:

International Journal of Control

Year:

2013

Language:

english

File:

PDF, 1.97 MB

english, 2013

29

Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets

Boucheneb, Hanifa, Hadjidj, Rachid

Journal:

International Journal of Embedded Systems

Year:

2006

Language:

english

File:

PDF, 630 KB

english, 2006

30

Transactional Petri nets: a semantic framework for UML2 activities

Boufenara, Sabine, Barkaoui, Kamel, Belala, Faiza, Boucheneb, Hanifa

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 350 KB

english, 2014

31

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

32

[IEEE 2008 IEEE International Behavioral Modeling and Simulation Workshop (BMAS 2008) - San Jose, CA, USA (2008.09.25-2008.09.26)] 2008 IEEE International Behavioral Modeling and Simulation Workshop - Semantics for Rollback-Based Continuous/Discrete Simulation

Gheorghe, Luiza, Nicolescu, Gabriela, Boucheneb, Hanifa

Year:

2008

Language:

english

File:

PDF, 3.51 MB

english, 2008

33

A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools

Iugan, Luiza Gheorghe, Boucheneb, Hanifa, Nicolescu, Gabriela

Journal:

Design Automation for Embedded Systems

Year:

2015

Language:

english

File:

PDF, 2.02 MB

english, 2015

34

[IEEE 2017 IEEE 4th International Conference on Cyber Security and Cloud Computing (CSCloud) - New York, NY, USA (2017.6.26-2017.6.28)] 2017 IEEE 4th International Conference on Cyber Security and Cloud Computing (CSCloud) - SQLIIDaaS: A SQL Injection Intrusion Detection Framework as a Service for SaaS Providers

Yassin, Mohamed, Ould-Slimane, Hakima, Talhi, Chamseddine, Boucheneb, Hanifa

Year:

2017

Language:

english

File:

PDF, 459 KB

english, 2017

35

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 2.20 MB

english, 2017

36

[IEEE 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Bratislava (2018.6.25-2018.6.29)] 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Optimal-Cost Reachability Analysis Based on Time Petri Nets

Boucheneb, Hanifa, Lime, Didier, Roux, Olivier H., Seidner, Charlotte

Year:

2018

File:

PDF, 42 KB

2018

37

Timed secure colored Petri net based analysis of information flow

Hind Rakkay, Hanifa Boucheneb

Journal:

annals of telecommunications - annales des télécommunications

Year:

2006

Language:

english

File:

PDF, 3.30 MB

english, 2006

38

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - A more efficient time Petri net state space abstraction preserving linear properties

Boucheneb, Hanifa, Rakkay, Hind

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

39

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets

Heidari, Parisa, Boucheneb, Hanifa

Year:

2010

Language:

english

File:

PDF, 296 KB

english, 2010

40

Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 1.02 MB

english, 2013

41

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 557 KB

english, 2017

42

[IEEE 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Bratislava (2018.6.25-2018.6.29)] 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Optimal-Cost Reachability Analysis Based on Time Petri Nets

Boucheneb, Hanifa, Lime, Didier, Roux, Olivier H., Seidner, Charlotte

Year:

2018

Language:

english

File:

PDF, 42 KB

english, 2018

43

Maximal Good Step Graph Methods for Reducing the Generation of the State Space

Dou, Hao, Barkaoui, Kamel, Boucheneb, Hanifa, Jiang, Xiaoning, Wang, Shouguang

Journal:

Year:

2019

Language:

english

File:

PDF, 8.75 MB

english, 2019

44

Design and Verification of Time-Constrained Workflows With Multi-Level Security

Hicheur, Awatef, Barkaoui, Kamel, Boucheneb, Hanifa

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 704 KB

english, 2009

45

Covering Steps Graphs of Time Petri Nets

Hanifa Boucheneb, Kamel Barkaoui

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 310 KB

english, 2009

46

On Synthesizing a Consistent Operational Transformation Approach

Randolph, Aurel, Boucheneb, Hanifa, Imine, Abdessamad, Quintero, Alejandro

Journal:

IEEE Transactions on Computers

Year:

2015

Language:

english

File:

PDF, 283 KB

english, 2015

47

Delay-dependent partial order reduction technique for real time systems

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

Real-Time Systems

Year:

2017

Language:

english

File:

PDF, 897 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски